local{-}atom($A$;${\it dec}$;$a$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$ma{-}body($A$):Shape($A$)$>>$$a$ $\vee$ True $\vee$ ${\it dec}$:$b$:Id$\rightarrow$$A$.state$\rightarrow$(Top$\times$$A$.da(locl($b$))$\times$Top+Top)$>>$$a$